1. Logik für Informatiker :
پدیدآورنده : von Bernhard Heinemann und Klaus Weihrauch.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : informatique -- logique mathématique.,informatique -- logique.,informatique théorique -- logique mathématique.
رده :
QA9
.
V663
1992